@misc{llvmtalk,
    author    = "John McCall and Slava Pestov",
    title     = "Implementing {S}wift generics",
    url       = "https://www.youtube.com/watch?v=ctS8FzqcRug",
    year      = {2017}
}
@misc{sr617,
    title     = "{SR-617}: \texttt{Self} not always resolved dynamically with Generics",
    url       = "https://github.com/apple/swift/issues/43234",
    year      = {2016}
}
@misc{sr631,
    title     = "{SR-631}: Extensions in different files do not recognize each other",
    url       = "https://github.com/apple/swift/issues/43248",
    year      = {2016}
}
@misc{sr4206,
    title     = "{SR-4206}: Override checking does not properly enforce requirements",
    url       = "https://github.com/apple/swift/issues/46789",
    year      = {2017}
}
@misc{se0011,
    author    = "Loïc Lecrenier",
    title     = "{SE-0011}: Replace \texttt{typealias} keyword with \texttt{associatedtype} for associated type declarations",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0011-replace-typealias-associated.md",
    year      = {2015}
}
@misc{se0021,
    author    = "Doug Gregor",
    title     = "{SE-0021}: Naming Functions with Argument Labels",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0021-generalized-naming.md",
    year      = {2016}
}
@misc{se0029,
    author    = "Chris Lattner",
    title     = "{SE-0029}: Remove implicit tuple splat behavior from function applications",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0029-remove-implicit-tuple-splat.md",
    year      = {2016}
}
@misc{se0048,
    author    = "Chris Lattner",
    title     = "{SE-0048}: Generic type aliases",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0048-generic-typealias.md",
    year      = {2016}
}
@misc{se0066,
    author    = "Chris Lattner",
    title     = "{SE-0066}: Standardize function type argument syntax to require parentheses",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0066-standardize-function-type-syntax.md",
    year      = {2016}
}
@misc{se0077,
    author    = "Anton Zhilin",
    title     = "{SE-0077}: Improved operator declarations",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0077-operator-precedence.md",
    year      = {2016}
}
@misc{se0091,
    author    = "Tony Allevato and Doug Gregor",
    title     = "{SE-0091}: Improving operator requirements in protocols",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0091-improving-operators-in-protocols.md",
    year      = {2016}
}
@misc{se0110,
    author    = "Vladimir S. and Austin Zheng",
    title     = "{SE-0110}: Distinguish between single-tuple and multiple-argument function types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0110-distinguish-single-tuple-arg.md",
    year      = {2016}
}
@misc{se0111,
    author    = "Austin Zheng",
    title     = "{SE-0111}: Remove type system significance of function argument labels",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0111-remove-arg-label-type-significance.md",
    year      = {2016}
}
@misc{se0068,
    author    = "Erica Sadun",
    title     = "{SE-0068}: Expanding Swift \texttt{Self} to class members and value types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0068-universal-self.md",
    year      = {2016}
}
@misc{se0081,
    author    = "David Hart and Robert Widman and Pyry Jahkola",
    title     = "{SE-0081}: Move \texttt{where} clause to end of declaration",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0081-move-where-expression.md",
    year      = {2016}
}
@misc{se0092,
    author    = "David Hart and Doug Gregor",
    title     = "{SE-0092}: Typealiases in protocols and protocol extensions",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0092-typealiases-in-protocols.md",
    year      = {2016}
}
@misc{se0095,
    author    = "Trent Nadeau",
    title     = "{SE-0103}: Make non-escaping closures the default",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0103-make-noescape-default.md",
    year      = {2016}
}
@misc{se0103,
    author    = "Adrian Zubarev and Austin Zheng",
    title     = "{SE-0095}: Replace \texttt{protocol<P1,P2>} syntax with \texttt{P1 \& P2} syntax",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0095-any-as-existential.md",
    year      = {2016}
}
@misc{se0142,
    author    = "David Hart and Jacob Bandes-Storch and Doug Gregor",
    title     = "{SE-0142}: Permit where clauses to constrain associated types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0142-associated-types-constraints.md",
    year      = {2017}
}
@misc{se0143,
    author    = "Doug Gregor",
    title     = "{SE-0143}: Conditional conformances",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0143-conditional-conformances.md",
    year      = {2016}
}
@misc{se0148,
    author    = "Chris Eidhof",
    title     = "{SE-0148}: Generic subscripts",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0148-generic-subscripts.md",
    year      = {2017}
}
@misc{se0156,
    author    = "David Hart and Austin Zheng",
    title     = "{SE-0156}: Class and subtype existentials",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0156-subclass-existentials.md",
    year      = {2017}
}
@misc{se0157,
    author    = "Doug Gregor and Erica Sadun and Austin Zheng",
    title     = "{SE-0157}: Support recursive constraints on associated types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0157-recursive-protocol-constraints.md",
    year      = {2017}
}
@misc{se0193,
    author    = "Slava Pestov",
    title     = "{SE-0193}: Cross-module inlining and specialization",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0193-cross-module-inlining-and-specialization.md",
    year      = {2018}
}
@misc{se0244,
    author    = "Doug Gregor and Joe Groff",
    title     = "{SE-0244}: Opaque result types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0244-opaque-result-types.md",
    year      = {2019}
}
@misc{se0260,
    author    = "Jordan Rose and Ben Cohen",
    title     = "{SE-0260}: Library Evolution for Stable {ABIs}",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0260-library-evolution.md",
    year      = {2019}
}
@misc{se0261,
    author    = "Anthony Latsis",
    title     = "{SE-0261}: \texttt{where} clauses on contextually generic declarations",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0267-where-on-contextually-generic.md",
    year      = {2019}
}
@misc{se0281,
    author    = "Nate Cook and Nate Chandler and Matt Ricketson",
    title     = "{SE-0281}: \texttt{@main}: Type-Based Program Entry Points",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0281-main-attribute.md",
    year      = {2020}
}

@misc{se0296,
    author    = "John McCall and Doug Gregor",
    title     = "{SE-0296}: Async/await",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0296-async-await.md",
    year      = {2020}
}
@misc{se0309,
    author    = "Anthony Latsis and Filip Sakel and Suyash Srijan",
    title     = "{SE-0309}: Unlock existentials for all protocols",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0309-unlock-existential-types-for-all-protocols.md",
    year      = {2022}
}
@misc{se0315,
    author    = "Frederick Kellison-Linn",
    title     = "{SE-0315}: Type placeholders",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0315-placeholder-types.md",
    year      = {2021}
}
@misc{se0328,
    author    = "Benjamin Driscoll and Holly Borla",
    title     = "{SE-0328}: Structural opaque result types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0328-structural-opaque-result-types.md",
    year      = {2021}
}
@misc{se0341,
    author    = "Doug Gregor",
    title     = "{SE-0341}: Opaque parameter declarations",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0341-opaque-parameters.md",
    year      = {2022}
}
@misc{se0346,
    author    = "Pavel Yaskevich and Holly Borla and Slava Pestov",
    title     = "{SE-0346}: Lightweight same-type requirements for primary associated types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0346-light-weight-same-type-syntax.md",
    year      = {2022}
}
@misc{se0352,
    author    = "Doug Gregor",
    title     = "{SE-0352}: Implicitly opened existentials",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0352-implicit-open-existentials.md",
    year      = {2022}
}
@misc{se0353,
    author    = "Robert Widmann",
    title     = "{SE-0353}: Constrained existential types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0353-constrained-existential-types.md",
    year      = {2022}
}
@misc{se0355,
    author    = "Holly Borla",
    title     = "{SE-0335}: Introduce existential \texttt{any}",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0335-existential-any.md",
    year      = {2021}
}
@misc{se0361,
    author    = "Holly Borla",
    title     = "{SE-0361}: Extensions on bound generic types",
    url       = "https://github.com/apple/swift-evolution/blob/main/proposals/0361-bound-generic-extensions.md",
    year      = {2022}
}
@misc(sil,
    title     = "Swift Intermediate Language {(SIL)}",
    url       = "https://github.com/apple/swift/blob/main/docs/SIL.rst",
    year      = {2016}
)
@misc(gensig,
    author    = "Doug Gregor",
    title     = "Generic Signatures",
    url       = "https://github.com/apple/swift/blob/main/docs/ABI/GenericSignature.md",
    year      = {2018}
)
@misc(reqeval,
    author    = "Doug Gregor",
    title     = "Request evaluator",
    url       = "https://github.com/apple/swift/blob/main/docs/RequestEvaluator.md",
    year      = {2018}
)
@misc(incremental,
    author    = "Jordan Rose",
    title     = "Dependency analysis",
    url       = "https://github.com/apple/swift/blob/main/docs/DependencyAnalysis.md",
    year      = {2015}
)


@article{undecidablegroup,
author = {Donald J. Collins},
title = {{A simple presentation of a group with unsolvable word problem}},
volume = {30},
journal = {Illinois Journal of Mathematics},
number = {2},
publisher = {Duke University Press},
pages = {230 -- 234},
year = {1986},
doi = {10.1215/ijm/1256044631},
URL = {https://doi.org/10.1215/ijm/1256044631}
}
@book{andallthat, place={Cambridge}, title={Term Rewriting and All That}, DOI={10.1017/CBO9781139172752}, publisher={Cambridge University Press}, author={Baader, Franz and Nipkow, Tobias}, year={1998}}
@Inbook{Knuth1983,
author="Knuth, D. E.
and Bendix, P. B.",
editor="Siekmann, J{\"o}rg H.
and Wrightson, Graham",
title="Simple Word Problems in Universal Algebras",
bookTitle="Automation of Reasoning: 2: Classical Papers on Computational Logic 1967--1970",
year="1983",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="342--376",
isbn="978-3-642-81955-1",
doi="10.1007/978-3-642-81955-1_23",
url="https://doi.org/10.1007/978-3-642-81955-1_23"
}
@article{SQUIER1994271,
title = {A finiteness condition for rewriting systems},
journal = {Theoretical Computer Science},
volume = {131},
number = {2},
pages = {271-294},
year = {1994},
issn = {0304-3975},
doi = {https://doi.org/10.1016/0304-3975(94)90175-9},
url = {https://www.sciencedirect.com/science/article/pii/0304397594901759},
author = {Craig C. Squier and Friedrich Otto and Yuji Kobayashi}
}
@inproceedings{guiraud:hal-00818253,
  TITLE = {{A Homotopical Completion Procedure with Applications to Coherence of Monoids}},
  AUTHOR = {Guiraud, Yves and Malbos, Philippe and Mimram, Samuel},
  URL = {https://hal.inria.fr/hal-00818253},
  BOOKTITLE = {{RTA - 24th International Conference on Rewriting Techniques and Applications - 2013}},
  ADDRESS = {Eindhoven, Netherlands},
  EDITOR = {Van Raamsdonk, Femke},
  PUBLISHER = {{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}},
  SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
  VOLUME = {21},
  PAGES = {223-238},
  YEAR = {2013},
  MONTH = Jun,
  DOI = {10.4230/LIPIcs.RTA.2013.223},
  HAL_ID = {hal-00818253},
  HAL_VERSION = {v1},
}
